Nuprl Definition : rfunction def
12,41
postcript
pdf
{
x
|
y
:
A
B
(
x
;
y
)} is Primitive
latex
FDL editor aliases
rfun
origin
B(x;y)} is Primitive B(x;y)} is Primitive